|
Systems of Sequential Grammars Applied to Parsing
Repík, Tomáš ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zkoumá Gramatické systémy jako potenciálně silnější nástroj pro syntaktickou analýzu, nežli obyčejné gramatiky. Hlavním záměrem je aplikace teoretických modelů do praxe, vytvoření syntaktického analyzátoru. Jsou zavedeny nové metody zaměřené na determinizmus, a tím vyhnutí se zpětnému navracení při analýze. Základem analyzátoru je CD gramatický systém. Implementace využívá metodu prediktivní syntaktické analýzy, překlad řízený tabulkou a také rekurzi. Analyzátor je univerzální, použitelný pro jakékoliv LL-Gramatiky a jakékoliv gramatické systémy na nich založené.
|
|
Rekonstrukce č.5
Nováček, Daniel ; Buraj, Ivan (oponent) ; Sterec, Pavel (vedoucí práce)
Hodnoty kategorie reálného se neztrácejí při aplikaci měření. Problémem není přítomnost měření, ale jeho nedostatečná kvantita a podrobnost. Metodika analýzy systémů, podsystémů a funkcí prvků v nich a jejich reprodukce v rámci determinované reality.
|
|
Syntaktická analýza založená na párových automatech
Zámečníková, Eva ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Diplomová práce pojednává o syntaktické analýze založené na modelu párových automatů. Konečný párový automat obsahuje vstupní a výstupní automat. Vstupní automat provádí syntaktickou analýzu se vstupním řetězcem. Použitá pravidla vstupního automatu řídí výstupní automat, který generuje výstupní řetězec. V práci je popsán způsob determinizace vstupního automatu bez ztráty informací o pravidlech použitých v původním automatu. Determinizace je rozdělena na dvě části - pro převodníky specifikující konečný a nekonečný překlad. Dále je prezentován párový automat se zvýšenou výpočetní silou. Zvýšení síly spočívá v nahrazení vstupního či výstupního automatu nebo jen jeho části bezkontextovou gramatikou.
|
| |
|
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
|
|
Syntaktická analýza založená na systémech hlubokých zásobníkových automatů
Šoustar, Jakub ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá hlubokými zásobníkovými automaty a zavádí jejich modifikaci nazvanou řízený hluboký zásobníkový automat. Dále jsou v této práci představeny distribuované systémy hlubokých zásobníkových automatů a paralelně komunikující systémy řízených hlubokých zásobníkových automatů. Jsou zkoumány vlastnosti a vyjadřovací síla těchto automatových systémů a je zavedeno několik variant těchto systémů. Pro jednu z variant paralelně komunikujících systémů je dokázáno, že disponuje stejnou vyjadřovací silou, jakou mají Turingovy stroje. Na základě těchto automatových systémů je zavedena metoda syntaktické analýzy.
|
| |
|
Syntaktická analýza založená na speciálních modelech
Zámečníková, Eva ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Bakalářká práce se zabývá syntaktickou analýzou pomocí párových automatů. Konečný párový automat obsahuje vstupní a výstupní automat. Vstupní automat provádí syntaktickou analýzu se vstupním řetězcem. Použitá pravidla vstupního automatu řídí výstupní automat, který generuje výstupní řetězec. Hlavním tématem této práce je determinizace vstupního automatu bez ztráty informací o pravidlech použitých v původním automatu.
|
| |
| |